We study conditions that ensure uniqueness theorems of Cuntz–Krieger type for relative Cuntz–Pimsner algebras associated to a ⁎-correspondence X over a ⁎-algebra A. We give general sufficient conditions phrased in terms ...